Search Results
Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations (Teaser)
[CPP'22] Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's Folly Libr
[OOPSLA23] Proof Automation for Linearizability in Separation Logic
Interactive Proofs in Higher-Order Concurrent Separation Logic
A Flexible Type System for Fearless Concurrency
ICFP 2020 Session Asia 4
AWS re:Invent 2017: How We Built a Mission-Critical, Serverless File Processing Pipe (SRV315)
Scaling Containerized Salt
Processing-in-Memory Course: Lecture 17: How to Enable the Adoption of PIM? - Spring 2022
VirtualKanata2020 - The Galapagos Multi-FPGA Platform
The Data Architecture that Leaves You Glueless
![[CPP'22] Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's Folly Libr](https://img.youtube.com/vi/mgun16f3C2k/hqdefault.jpg)
![[OOPSLA23] Proof Automation for Linearizability in Separation Logic](https://img.youtube.com/vi/dHi2pJ2nBqM/hqdefault.jpg)
